More from this Author

Language Engineering and Rigorous Software Development

by Ana Bove (Editor), Luis Soares Barbosa (Editor), Alberto Pardo (Editor), Jorge Sousa Pinto (Editor)

Formal Aspects of Component Software

by Luis Soares Barbosa (Editor), Markus Lumpe (Editor)